Search Results
[Key note] Scaling formal verification to complex smart contract system
Scaling Formal Verification to Find Bugs in Complex Smart Contract Systems (#02)
Jan 2023 Online Event: Scaling Formal Verification to Find Bugs in Complex Smart Contract Systems.
Runtime Verification: K Framework for Smart Contract Formal Verification with Rikard Hjort
CAV 2020 Keynote: Formal Verification of Libra Blockchain Smart Contracts - David Dill
Mooly Sagiv on Certora's exact and automatic formal verification of smart contracts
Formal Verification of Smart Contracts Made Easy (Devcon5)
[Panel Discussion] Ultimate scalability with ZKP
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain
#238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Specifying & verifying Solidity contracts by Martin Lundfall
ETAPS 2023 - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification
![[Key note] Scaling formal verification to complex smart contract system](https://img.youtube.com/vi/QjUdPSfNhi8/hqdefault.jpg)
![[Panel Discussion] Ultimate scalability with ZKP](https://img.youtube.com/vi/RFXsIBLkA2s/hqdefault.jpg)
